LA FORMALIZACIÓN DE
LA SEMÁNTICA

“El significado es un concepto precientífico” (Hilary Putnam)

“Ningún lenguaje consistente puede contener los medios necesarios para definir su propia semántica” (Tarski)

“La lingüística es una rama de la psicología cognitiva” (Noam Chomsky)



La Semántica

La semántica es una rama de la lingüística que trata del significado en el lenguaje. Su origen se remonta a los escritos de Platón y Aristóteles. Desde entonces ha constituido uno de los temas permanentes de reflexión por parte de, no solo lingüistas, sino de filósofos, psicólogos y lógicos.

El término “semántica” fue introducido en 1897 por el lingüista francés Michel Jules Alfred Bréal con la publicación “Ensayo sobre Semántica”. En esta obra define a la semántica como “la ciencia del significado”. Bréal es considerado el fundador de la semántica moderna.

“Significado” es algo más general que “semántica”. La semántica es el significado de las expresiones lingüísticas. La semántica es un tipo de significado. Pero según la definición de Bréal, la semántica es la ciencia del significado, por lo se suele identificar el término “semántica” con significado en general.

Según la concepción tradicional, la semántica establece la relación entre el lenguaje y la realidad, es decir, entre los niveles lingüístico y ontológico. El significado de una expresión lingüística es la realidad a la que hace referencia. Este significado puede ser verdadero o falso, según se corresponda o no con la realidad.

La semántica es una ciencia joven que nació con retraso respecto a la sintaxis, otra rama de la lingüística. Pero a partir de la segunda mitad del siglo XX la situación ha variado y la semántica ha evolucionado mucho, convirtiéndose en la rama de la lingüística que ha suscitado más interés. “La verdadera esencia de la lingüística es la búsqueda del significado” (Benjamin Lee Whorf). El proceso, sin embargo, sigue siendo lento por su aparente complejidad. Hay una gran variedad de propuestas, métodos y puntos de vista, lo que ha dado lugar a que se hable de “las semánticas lingüísticas”.


Semántica lexical y estructural

La semántica del lenguaje natural trata del significado de las palabras y cómo se combinan para formar frases con significado. Generalizando a todo tipo de lenguajes, la semántica estudia el significado de los signos lingüísticos y de sus combinaciones. En este sentido, hay que distinguir entre: Un concepto importante −que fue estudiado por primera vez por Frege− es la denominada “semántica composicional” (o principio composicional): el significado de una expresión lingüística es función de sus componentes (semántica lexical) y de sus relaciones (semántica estructural).


Sentido y referencia

Frege es considerado el pionero en la reflexión moderna sobre el lenguaje al distinguir entre sentido y referencia. El sentido es la forma de una sentencia o expresión lingüística. La referencia (o referente) es el objeto al que hace referencia el sentido.
Aspectos de la semántica

Como la semántica está ligada al lenguaje y hay muchos tipos de lenguajes, hay diferentes semánticas. Adicionalmente, si interpretamos la semántica como significación en general, hay diferentes interpretaciones según el campo a considerar: semántica natural (ligada al lenguaje natural), matemática, funcional, procedural, operacional, descriptiva, algebraica, axiomática, relacional, computacional, lógica, denotacional, representacional, intensional, extensional, combinatoria, generativa, dinámica, conceptual, interpretativa, psicologista, cognitiva, fractal, etc.

Hay semánticas que son más fáciles de entender observando sus efectos a nivel superficial. Por ejemplo, la semánticas ligadas a operaciones y sus resultados. Frente a estas semánticas particulares, se plantea el tema de la posible existencia de una semántica general o universal, a partir de la cual se puedan derivar las semánticas particulares.


La dualidad sintaxis-semántica

Todo lenguaje (natural o artificial) tiene dos componentes esenciales: la sintaxis y la semántica. La sintaxis de un lenguaje es la parte externa, superficial, visible. La semántica es la parte interna, profunda, oculta, el significado.

La sintaxis ha sido abordada por la lingüística por ser la parte más fácil y accesible. En cambio, la semántica se ha considerado como algo inabordable, por su pertenencia al mundo interior, al mundo de la mente y la conciencia. Por su dificultad intrínseca, la semántica prácticamente se ha ignorado. El problema del significado es, junto con la conciencia, uno de los nudos gordianos de la filosofía de la mente.


La dualidad conductismo-mentalismo

El problema de la dualidad sintaxis-semántica se refleja en las corrientes conductista y mentalista de la psicología. Durante muchos años, el único modelo de la mente fue el conductismo, un modelo basado exclusivamente en la conducta observable a nivel externo, superficial. La mente como una “caja negra” a la que no se puede acceder. Solo se pueden estudiar los inputs (los estímulos) y los outputs (las repuestas).

La concepción moderna de la lingüística es considerarla como una rama de la psicología cognitiva. La psicología cognitiva (o cognitivismo) reivindica la mente como objeto de estudio de la psicología. Según la psicología cognitiva, el pensamiento es previo al lenguaje hablado. Lo externo es la manifestación de lo interno. El lenguaje es la manifestación del pensamiento.


El estructuralismo

Ferdinand de Saussure es el creador de la lingüística estructural, un modelo científico del lenguaje. Sausure es considerado el fundador de la lingüística moderna: Saussure trazó las líneas generales de la ciencia que estudia los signos: la semiología (o semiótica). Con su teoría de los signos, intentó unir sintaxis y semántica, al considerar que todo signo tiene dos aspectos inseparables.


El movimiento estructuralista

El movimiento estructuralista comenzó con la lingüística de Saussure y se extendió posteriormente a otros campos, principalmente la antropología y la filosofía. El estructuralismo es un método de comprensión de la realidad, un paradigma universal, cuyos principios generales son los siguientes:
El sintaxcentrismo

Este término hace referencia a la prioridad histórica dada a la sintaxis sobre la semántica, cuyos referentes principales fueron Leonard Bloomfield y Noam Chomsky. Ambos promovieron una lingüística sin significado al dar prioridad a la sintaxis en detrimento de la semántica, de “absolutizar” la sintaxis.

Bloomfield es el precursor del sintaxcentrismo y el principal representante de la tradición empírica de la lingüística. Sostenía que solo la observación directa de los sucesos lingüísticos podía proporcionar conocimiento sobre el lenguaje. Bloomfield trabajó en morfología y sintaxis, ignorando la semántica. Se definía a sí mismo como anti-mentalista. En su obra “El Lenguaje” (1933) adopta el marco psicológico de la escuela conductista de Watson y rechazó lo que no era “directamente observable” para el análisis lingüístico. Para Bloomfield, la posición mentalista sobre el significado lingüístico es “acientífica”. Consideraba la palabra “mentalismo” como algo cercano al esoterismo y al “significado” como algo que quedaba fuera del ámbito científico.

Noam Chomsky reivindicó la autonomía de la sintaxis en los estudios lingüísticos, lo que hizo impulsar de manera decisiva el sintaxcentrismo en lingüística. La semántica pasó a segundo plano. Chomsky, con su gramática generativa, fue el impulsor de la sintaxis formal, sin referencia alguna al significado. Su obra “Estructuras Sintácticas” (1957), basada en su tesis doctoral “Estructura Lógica de la Teoría Lingüística”, revolucionó la lingüística teórica al introducir el concepto de “gramática generativa”, un sistema que permite describir infinitas sentencias mediante un conjunto finito de reglas formales sintácticas. Esta revolución fue paralela en el tiempo a la revolución de la filosofía analítica con el “giro lingüístico” de la filosofía.

Antes de la publicación de la obra de Chomsky de 1957, la mayoría de los lingüistas seguían la lingüística estructural, basado en el análisis, la clasificación y la descripción de los diferentes elementos de los lenguajes humanos (fonemas, morfemas, etc.), utilizando métodos objetivos. Con Chomsky llegó la revolución, un cambio de paradigma basado en la síntesis del lenguaje.

Hoy día, la formalización de la sintaxis de los lenguajes es una tarea que se considera ya completada.

Chomsky aplicó en su teoría sintáctica ciertas intuiciones estructuralistas al entender el lenguaje como un sistema cerrado formado por un número finito de reglas que permitíaa describir formalmente las infinitas sentencias posibles de un lenguaje. Aunque Chomsky ignoró inicialmemte la semántica con su gramática generativa; ha intentado posteriormente formalizarla, pero sus resultados y conclusiones han sido de tipo general. La posición actual de Chomsky es que la lingüística debe considerarse una rama de la psicología cognitiva.


La Ciencia Cognitiva

La psicología cognitiva es una ciencia que estudia la cognición, es decir, los procesos o mecanismos mentales implicados en la elaboración del conocimiento. Esta ciencia está integrada dentro de la llamada “Ciencia Cognitiva”, junto con la inteligencia artificial, la lingüística, la filosofía, la neurociencia y la antropología. Es el llamado “hexágono cognitivo”.

Desde este nuevo punto de vista, se pueden plantear hipótesis sobre los patrones subyacentes responsables del comportamiento, realizar inferencias, etc. Pero la apertura que supuso el incluir la psicología cognitiva permitió también que se infiltrara el mentalismo, en donde los procesos internos se sometían a todo tipo de interpretaciones subjetivas particulares.

Dentro de la Ciencia Cognitiva, se han propuesto diferentes modelos de la mente o teorías cognitivas, pero entre ellas destacan dos: el modelo simbólico y el modelo conexionista.


El modelo simbólico de la mente

Para el modelo simbolista, la mente es un sistema constituido por símbolos, y los pensamientos consisten en la manipulación de esos símbolos, como en un ordenador. Es un modelo computacionalista.

El modelo simbólico de la mente más conocido es la teoría cognitiva del “lenguaje del pensamiento” (mentalés), propuesta por Jerry Fodor en 1975 [Fodor, 1985]: la mente es un sistema de símbolos, y la cognición es la manipulación de esos símbolos.

A favor del modelo simbólico de la mente están: Sin embargo, el modelo simbólico exige que todo el comportamiento se establezca de forma explícita, externa, superficial, en forma de reglas, procesos, gestión de eventos, etc. Pero los fenómenos mentales no hay tales formas explícitas, sino mecanismos internos ocultos y desconocidos. El hecho de que un sistema se comporte aparentemente como gobernado por una regla, no implica ni se puede interpretar que dicha regla exista realmente a nivel interno.

La Ciencia Cognitiva ha apostado por el modelo de la mente computacionalista. Nuestro cerebro es como el hardware de las máquinas. La mente es el software que procesa información, la codifica y la almacena dentro del hardware que es el cerebro.

Con este modelo, se ha pasado de “semántica” a “información” y de “expresiones semánticas” a “proceso de la información”. Todo empezó con Boole con sus “leyes del pensamiento”, en donde el lenguaje se basaba en la lógica binaria e ignoraba el significado.


El modelo conexionista

Un rival del modelo simbólico de la mente apareció con Frank Rosenblatt [1962]: el modelo conexionista. Esta basado en una red de unidades interconectadas con “pesos” (valores numéricos), que representan las fuerzas de las conexiones entre las unidades de la red: Este modelo de la mente aporta al mismo tiempo un modelo simplificado del cerebro: la cognición no consiste en la manipulación de símbolos, sino en patrones dinámicos de actividad neuronal.

Los sistemas conexionistas son básicamente modelos de aprendizaje de reconocimiento de patrones de datos. Carecen de lenguaje formal y están limitados a categorías restringidas de problemas, por lo que no constituyen un sistema genérico o universal aplicable a todo tipo de problemas.

Además, un sistema conexionista se puede implementar mediante un sistema simbólico, por lo que es realmente un tipo particular de sistema simbólico. El modelo simbólico es más general que el modelo conexionista.


La formalización de la semántica

Los intentos de formalización de la semántica del lenguaje natural comenzaron con Tarski, que intentó construir una estructura lógica del lenguaje que permitiera definir conceptos como verdad, significado, sinonimia, implicación, etc. Llegó a varias conclusiones: Otros autores:
El problema de la semántica en las máquinas

Un ordenador es un sistema simbólico, una máquina que solo procesa símbolos. La máquina es un dispositivo superficial, de tipo sintáctico, formal y, por lo tanto, no posee semántica. Una máquina, cuando está realizando un proceso, “no sabe” lo que está haciendo. Las máquinas no poseen semántica ni tienen conciencia.

Un sistema simbólico tiene las características siguientes:
La caja china

El problema de la imposibilidad de la semántica en las máquinas está muy bien ilustrado con la metáfora de la “caja china” (o “habitación china”) de John Searle. Se trata de una caja cerrada con dos ventanas de comunicación con el exterior: una de entrada y otra de salida. Dentro de la caja hay una persona que no sabe chino, pero que le han dado una serie de instrucciones o reglas formales para que cuando en la ventana de entrada le muestren un texto chino, conteste en la ventana de salida con otro texto chino que tiene con el texto de entrada una relación coherente. El sistema completo de la caja china se convierte así en un dispositivo que aparentemente “sabe” chino. Pero realmente no es así. La persona dentro de la caja está desempeñando una función formal, análoga a la que realiza un ordenador, una mera manipulación simbólica, sin semántica a nivel lingüístico, aunque sí una semántica de tipo funcional.

La caja china pone en evidencia de forma clara la brecha existente en lingüística entre sintaxis y semántica, y las limitaciones de los sistemas simbólicos.

“La razón de que nunca ningún programa de ordenador puede tener una mente es simplemente que un programa de ordenador es solo sintáctico, y las mentes son más que sintácticas. Las mentes son semánticas, en el sentido de que tienen más que una estructura formal, tienen un contenido” (John Searle).

Searle publicó su famosa metáfora de la caja china en un artículo titulado “Mentes, Cerebros y Programas” [Searle, 1980], acompañado por varios comentarios de filósofos, informáticos, psicólogos cognitivos y neurofisiólogos. En 1990 volvió a incluir la metáfora de la caja china en un artículo en Scientific American titulado “¿Es la mente del cerebro un programa de ordenador?”, junto con una reflexión de Paul y Patricia Churchland titulada “¿Puede pensar una máquina?”.

John Searle propuso la metáfora de la caja china como réplica al llamado “test de Turing”. Este test fue propuesto por Turing en su artículo de 1950 “Computing machinery and intelligence” para evaluar la inteligencia de una máquina. Se basa en la idea de que la interacción verbal es el medio en que la inteligencia se hace más patente. Consiste en que una máquina conteste a las preguntas de un interrogador humano y que este no sepa si está interrogando a una persona o a una máquina. Turing predijo que las máquinas podrían llegar a alcanzar un nivel de inteligencia comparable con la inteligencia humana.

Según Searle, si una máquina supera el test de Turing, no significa que la máquina piense, que tenga semántica y conciencia.

Según Searle, hay dos tipos de inteligencia artificial ( IA): la IA “débil” (que pretende solo la simulación de la mente humana mediante programas de ordenador) y la IA ”fuerte” (que sostiene que la mente es un ordenador que procesa símbolos). Searle es partidario solo de la IA débil. El argumento de la caja china va en contra de la IA fuerte, es decir, de la posibilidad de lograr una máquina que piense realmente.


MENTAL y la Semántica

Semántica y conciencia

La mente es de naturaleza semántica. Esto quiero decir que la mente categoriza, buscando patrones previamente conocidos. Ante un nuevo fenómeno, tratamos de encasillarlo en una categoría o patrón ya conocido. Cuando se logra este objetivo, produce estabilidad mental. Si no se logra, produce inquietud, incluso pánico.

Según la concepción tradicional, la semántica es la relación entre el lenguaje y la realidad. Pero la naturaleza semántica de la mente trasciende el mundo real. La interpretación del mundo real es una restricción de la semántica, que es de tipo universal. La mente no es simplemente un reflejo de la realidad externa. La mente es algo superior que trasciende el mundo físico.

La semántica no está necesariamente ligada al lenguaje, pero aparece de forma nítida en el lenguaje (natural o artificial).

Todo lo superficial (sea lingüístico o no) tiene un significado, y este significado no reside en el nivel superficial, sino que se encuentra en el nivel profundo. Comprender algo es establecer esa relación vertical entre lo superficial y lo profundo.

La semántica es una actividad mental. Pero para entender la mente y la semántica tenemos que situarnos en un nivel superior: el nivel de la conciencia, que es una facultad del alma, donde no hay dualidad. La semántica, como actividad mental que es, es inexpresable porque la mente no puede describirse a sí misma.

El significado es un concepto precientífico porque la ciencia se circunscribe solo a lo superficial. El significado está más allá de la ciencia. El significado está soportado o fundamentado en la conciencia. El significado independiente no existe. La conciencia es la que realiza la conexión entre opuestos en general, y la conexión profundo-superficial en particular. La conciencia va siempre de lo general a lo particular. La conciencia se reviste de imaginación y el significado surge de la relación vertical entre contenidos superficiales y profundos. El significado es mental.


La formalización de la semántica

El significado es algo que nos es muy familiar, pero es chocante que no podamos explicar en qué consiste. Ocurre lo mismo que con la conciencia. Al tratarse en ambos casos de algo profundo, no lo podemos explicar, es decir, sacarlo a la superficie. Por lo tanto, la semántica no es formalizable.

Se han realizado numerosos intentos de formalizar la semántica de los lenguajes en diferentes sentidos, sin resultados concluyentes. Todo esto se debe a que los contenidos mentales de los lenguajes son más difíciles de captar y de estudiar que los aspectos concretos, visibles y superficiales.

Estos fracasos se justifican porque la semántica no se puede formalizar, por una razón muy sencilla: la semántica está asociada con el aspecto mental profundo, con la cognición, y no se puede sacar a la superficie porque sería una contradicción: una cosa no puede ser a la vez superficial y profunda. Es la interpretación generalizada del teorema de Gödel: lo profundo no se puede formalizar.

La semántica (lo profundo) del lenguaje se manifiesta en expresiones particulares (superficiales), pero la propia semántica no se puede manifestar, pues de tipo interno.

La semántica, como la conciencia, no se puede capturar, no se puede “explicar”, no se puede formalizar en algo objetivo. A nivel profundo, la semántica hace referencia a las estructuras fundamentales de la mente humana que se activan al emitir (hablar o escribir) y recibir (escuchar o leer).

Pero es posible formalizar la semántica a un nivel básico mediante los arquetipos primarios, los arquetipos de la conciencia, que son las categorías primeras de la realidad, que se manifiestan a nivel interno (mental) y externo (físico).

Los arquetipos primarios permiten conectar lo profundo y lo superficial, el mundo interno y el externo. Los arquetipos primarios están presentes en todas las cosas, incluyendo el lenguaje natural y el artificial. Los arquetipos primarios no son accesibles ni describibles, son inefables, pero podemos intuirlos a través de sus manifestaciones concretas.

La solución al problema de formalización de la semántica se basa pues en la unión de sintaxis y semántica mediante los arquetipos primarios, pues la conciencia se fundamenta precisamente en la unión de opuestos, y sintaxis y semántica son opuestos, son dos caras de una misma moneda.

Los arquetipos primarios son primitivas semánticas universales: un conjunto de de conceptos genéricos o categorías generales, independientes del dominio, estructurados como un lenguaje, que fundamenten por combinatoria a todas las semánticas posibles. Cada primitiva es un concepto a la vez simple y genérico, con una sintaxis simple que permita asociar fácilmente a una expresión sintáctica su semántica correspondiente. De esta forma, se logra la conexión formal y directa entre sintaxis y semántica y la formalización de la semántica.

El significado tiene su fundamento en los arquetipos primarios, que conectan mente y conciencia. El punto de encuentro entre lo profundo y lo superficial son los arquetipos de la conciencia.

Los significados son patrones o categorías mentales basados en relaciones. Las primitivas de MENTAL son las categorías primarias de la realidad, las categorías filosóficas.

Este es el único fundamento sobre el que construir una teoría (o modelo) de la mente y la semántica.

La semántica pertenece a lo profundo. La sintaxis (la forma) pertenece a lo superficial. Pero en MENTAL ambos aspectos están unidos. De la sintaxis se infiere la semántica y viceversa. Este es uno de los múltiples uniones de opuestos. Por eso MENTAL es el lenguaje de la conciencia.

Todo tiene un fundamento de tres niveles:
  1. Conciencia.
  2. Semántica (patrones o categorías mentales).
  3. Expresiones lingüísticas.
Las expresiones lingüísticas están soportadas por la semántica. La semántica está soportada por la conciencia. Conciencia y semántica están conectadas por los arquetipos primarios. Las expresiones lingüísticas son manifestaciones de los arquetipos primarios. No puede haber expresiones lingüísticas sin semántica, y no puede haber semántica sin conciencia.

Esta solución guarda cierto paralelismo con la gramática generativa de Chomsky: MENTAL es una síntesis del lenguaje, como la revolución sintáctica de Chomsky, solo que a un nivel donde se unen sintaxis y semántica.


MENTAL y la semántica

Con relación a la semántica, podemos distinguir en MENTAL las siguientes aspectos:

Bibliografía